Time-triggered Communication for Distributed Control Applications in a Timed Computation Model
نویسندگان
چکیده
Distributed real-time control applications consist of sets of tasks that interact with the physical world through sensors and actuators and are executed on a dispersed set of locations that are interconnected by a communication subsystem. Timeliness and safety requirements of the application demand deterministic execution of tasks and predictive communication. Deterministic and predictable systems can be build, if upper bounds for processing and communication latencies are known and event arrivals have deterministic distributions. In this paper we describe the timing definition language (TDL) system architecture implementing time-triggered computation and time-triggered communication. The TDL system implements the timed computation model and its architecture consists of two parts: TDL-Exe (for time and value deterministic execution of tasks) and TDL-Com (for predictive communication of values). The paper presents TDL-Exe and describes implementation details of TDL-Com.
منابع مشابه
Timed Distributed Systems
This project seeks models of computation, software techniques, and analytical models for distributed timed systems. Such systems coordinate components on a network, and timeliness matters. Applications include industrial automation, instrumentation systems, and networked embedded software systems. The introduction of network time synchronization such as IEEE 1588 makes possible time coherence t...
متن کاملDistributed Control Applications Within Sensor Networks
Sensor networks are gaining a central role in the research community. This paper addresses some of the issues arising from the use of sensor networks in control applications. Classical control theory proves to be insufficient in modeling distributed control problems where issues of communication delay, jitter, and time synchronization between components are not negligible. After discussing our ...
متن کاملReinventing Computing for Real Time
This paper studies models of computation, software techniques, and analytical models for distributed timed systems. By “timed systems” we mean those where timeliness is an essential part of the behavior. By “distributed systems” we mean computational systems that are interconnected on a network. Applications of timed distributed systems include industrial automation, distributed immersive envir...
متن کاملSpace Partitioning and Speedup in Distributed Generation of State Spaces
The performance of many distributed applications depends on the ratio of their computation to communication time. In the case of distributed generation of state spaces, the amount of communication is determined by the partitioning function; if the partition classes correspond to clusters of states with only a few connections between clusters, the required communication is reduced, improving the...
متن کاملDistributed Timed Multitasking - A Model of Computation for Hard Real-Time Distributed Systems
The paper presents a new type of system architecture for distributed embedded systems, whereby a system is composed from embedded actors that communicate transparently by exchanging labeled messages (signals), independent of their allocation onto network nodes. Signals are exchanged at precisely specified time instants in accordance with the concept of Timed Multitasking, whereby actors can be ...
متن کامل